Verificación formal de redes neuronales analógicas bajo variaciones de proceso utilizando zonotopos polinomiales
Verificación formal de redes neuronales analógicas ante variaciones de proceso usando zonotopos polinomiales. Método preciso para análisis de robustez y fiabilidad.